ection Technique for ehavioral - Level Models
نویسنده
چکیده
TODD A. DELONG BARRY W. JOHNSON Universiiy of Virginia JOSEPH A. PROFETA 111 Union Switch and Signal, Inc. AS EARLY AS THE 1960~, designers recognized the importance of incorporating fault tolerance into microelectronic designs. However, they often performed this task late in the process when the design was near completion. As computer systems become more complex, designers must consider fault tolerance throughout the design process to allow early estimation of reliability and fault coverage. Designers usually perform dependability parameter estimation (DPE) at a high level of abstraction, using stochastic Petri net or queuing models. However, as specifications become more demanding, designers must go to increasingly lower levels of modeled detail to achieve the desired results. One such level of modeling is the instruction set architecture (ISA), where a modeled processing element executes machine instructions. Historically, designers have achieved the ISA level of detail with a gateor devicelevel model of the processor. Fault injection is an important technique for the evaluation of design metrics such as reliability, safety, and fault coverage. The process involves inserting faults into a system and monitoring the system to determine how it behaves in response. Researchers have made several efforts to develop techniques for injecting faults into a system prototype or model; most of these fall into three categories: hardware-, software-, and simulation-based fault injection. Practitioners have accomplished hardware-based fault injection by such methods as bombarding the hardware with heavy-ion radiation,’ injecting voltage sags on the hardware’s power rails,’ and corrupting logic values at the pin level.2 An example of software-based fault injection, known as fault injection-based automated testing (FIAT), injects faults into the actual source code in a real-time en~i ronment .~ These hardwareand software-based approaches do produce a dependability analysis of the system. However, they do not lend themselves easily to DPE during the design process, because they require a physical working system for the fault injection experiments. Consequently, by these methods, DPE takes place toward the end of-rather than throughout-the design process. Currently, however, researchers are realizing the advantages of simulation as a means to perform DPE. Typically, they perform simulations at gate where signal values in the simulation are stuck at logic 1 or 0, or at device level,6 where current or voltage values are fixed and a fault propagates to the gate level. Simulation approaches lend themselves nicely to the design process, but they do have a couple of shortcomings. First, we often need an implementation of the device before detailed simulations are possible. But the implementation is usually not available
منابع مشابه
Metalevel Decomposition in AL-1/D
Research has shown that metalevel architectures and the concept of re ection are useful for modifying programming systems dynamically in a controlled way. To modify the system exibly, it is necessary to represent various abstraction levels, from the programing language level to the OS level, as well as user's multiple views, such as the view where the distributed environment is transparent and ...
متن کاملAn Actor-Based Metalevel Architecture for Group-Wide Reflection
The notion of group-wide re ection is presented. Group-wide re ection, a dimension of computational re ection in concurrent systems, allows each computational agent (actor/object/process) to reason about and act upon not only the agent itself, but also a group of agents which may contain the agent itself. Global properties of the group can be dynamically controlled through group-wide re ection....
متن کاملImportance Driven Path Tracing using the Photon Map
This paper presents a new importance sampling strategy for Monte Carlo ray tracing in which a rough estimate of the irradiance based on the photon map is combined with the local re ection model to construct more e cient probability density functions that can be used in an importance sampling scheme The algorithm gives unbiased results handles arbitrary re ection models and it is particularly e ...
متن کاملTowards Spetses I
We present a formalization using data uniquely de ned at the level of the Weyl group of the construction and combinatorial properties of unipotent character shea ves and unipotent characters for reductive algebraic groups over an algebraic closure of a nite eld This formalization extends to the case where the Weyl group is re placed by a complex re ection group and in many cases we get families...
متن کاملAnticipatory re#ection while learning to teach: from a temporally truncated to a temporally distributed model of re#ection in teacher education
This article argues that current re#ective practitioner models have a temporally truncated bias that has resulted in an emphasis on retrospective over prospective re#ection. The temporally distributed nature of prospective teacher thinking is illustrated using data from a study that examined six Intern teachers' future-oriented re#ection. Themes that emerged from Interns' graphical depictions a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004